Nuprl Definition : imon 13,42

IMonoid == {g:GrpSig| IsMonoid(|g|;*;e)}  
latex



clarification:

IMonoid{i} == {g:GrpSig{i}| IsMonoid(|g|;*g;eg)}  
latex


Upgroups 1
Wellformedness Lemmasimon wf
DefinitionsGrpSig, IsMonoid(T;op;id), |g|, *, e

origin